Add a new file extension.