How to remove pkg-php-tools from Debian Unstable (Sid)