How to remove maxima from Debian 9 (Stretch)