===> Cleaning for Gauche-0.9.3.3