How to remove code-aster-gui from Debian 9 (Stretch)