Until control_toolbox handles tinyxml properly, not going to build this in the debs.
