===> Cleaning for dejagnu-1.6.3