How to remove wavtool-pl from Debian 9 (Stretch)