How to remove libhugs-fgl-bundled from Debian 9 (Stretch)