How to remove sml-mode from Debian 9 (Stretch)