file extension was too short