===> Cleaning for frama-c-25.0