Fix to mkbench