file extensions are hard