How to remove prboom-plus-game-server from Debian Unstable (Sid)