proper file extensions