How to remove prboom-plus from Debian 9 (Stretch)