How to remove virtuoso-server from Debian 9 (Stretch)