Proper file names for overlays