How to remove mlton-compiler from Debian 9 (Stretch)