How to install mlton-runtime-native on Debian 9 (Stretch)