===> Cleaning for openocd-0.12.0