Fix openocd build