I would probably not do that, but store them in a top-level rpms directory in the source MLton directory root. That way it is more predictable. If you use the current directory and some one types ../???/make-rpms then it won't be in the expected place. (Not a super strong argument, but still, ...)