> Am I mis-reading something? Is it `stable MLton' and `old MLton' instead of > `MLton stable' and `MLton old'? Bingo. I have fixed the script so we will never have this problem again.