How to remove petri-foo from Debian 9 (Stretch)