How to remove librdf-storage-virtuoso from Debian 9 (Stretch)