use correct file extension