How to remove aolserver4-xotcl from Debian 9 (Stretch)