small bugfix for build-XRX.xml