Changed identification of file extension