Done with: sed -in 's/\(ifndef\|define\) _\([0-9A-Z_]*\)$/\1 I3_\2/' include/**/*.h fixes #804
This kills the dependency on xdmx and makes the testsuite simpler and more flexible (in the output sizes / configurations).