usr/lib/mlton/targets/mipsel-linux-gnu/*