===> Cleaning for openocd-0.9.0