Proper filenames for MoCo files.