Have the openocd invocation match the spike invocation