XMLUI built with Mirage2 by default