use a more correct file extension