usr/lib/mlton/targets/mips64el-linux-gnuabi64/*