ec4cc89f5e
These are only needed by the testsuite. If mydef is unavailable for some reason, e.g. running autogen.sh from a testsuite-only tarball, regeneration of the benchmarks will be skipped.