Capture latest changes to openocd (0.9.0)