fix name for rapidxml ubuntu 14.04