How to remove picon-usenix from Debian 9 (Stretch)