How to remove sat4j from Debian 9 (Stretch)