Allow changing the file extension