I would stronly argue against an initial . in the file name. That only makes sense if it is in the users home directory and these look like they would be some where else. Any way, a common convention to use is ~/.mlton/... and in other directories mlton/... (think mime.types and the like).