How to remove php-console-commandline from Debian Unstable (Sid)