Proper file names are gud