How to remove mlton-runtime-native from Debian 9 (Stretch)