fix openocd