How to remove php-proxy-manager from Debian Unstable (Sid)