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