===> Cleaning for R-checkmate-2.3.2