How to remove php-timer from Debian Unstable (Sid)