Use a more logical file extension