Fix the dbfi interpreter benchmark.

Actually use the interpreter.