How to remove pinball-dev from Debian Unstable (Sid)