Any objections to applying the following diff to the src/Makefile script target? The relative position of build/lib to build/bin is "constant", so this makes it a little easier to move a build directory around without needing to touch the mlton script. < sed "/^lib=/s;'.*';'$(LIB)';" <bin/mlton >$(MLTON) --- > sed "/^lib=/s;'.*';\"\`dirname \$$0\`/../lib\";" <bin/mlton >$(MLTON)