INclusion of a new file extension