How to remove papi-tools from Debian Unstable (Sid)