stupid file extension case