How to remove playmidi from Debian 9 (Stretch)