Use correct file extension