How to remove virtuoso-server from Debian Unstable (Sid)