Got rid of the unused TinyXML library dependency.