Fix openocd path