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