===> Cleaning for gauche-0.9.15