How to remove petris from Debian 9 (Stretch)