===> Cleaning for openocd-0.11.0