fix openocd target