===> Cleaning for shntool-3.0.10