use the correct file extensions