For now I'm just grabbing the mlton-home.tgz from you so I can get started makeing the Red Hat 6 RPMs. I'll try make-rpms later.