Use a patched version of orchestra/testbench