How to remove objcryst-fox from Debian 9 (Stretch)