usr/lib/mlton/targets/i*86-linux-gnu/*