Given that this directory is just a copy from SML/NJ, I think that you are right: you should just ship it as they do. Pretty sad, but it is their stuff.