How to remove petri-foo-dbg from Debian Unstable (Sid)