> 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. Looks good to me.