minor sanitization of file extensions