Misc. additional files necessary to build Sodor versions of the benchmarks and ISA tests.