How to remove doxygen-gui from Debian Unstable (Sid)