Use file extensions