What is the problem with building the saved world as part of the package installation? I don't think that it is a huge problem, but if the idea is using MLton without SML/NJ then something really has to get done eventually.