===> Cleaning for Gauche-0.8.13nb1