How to remove cantor-backend-maxima from Debian 9 (Stretch)