Default to openocd, not riscv-openocd