Make various benchmarks build and/or work with OpenDylan