package cegui: disable tinyxml