===> Cleaning for minivmac-0.1.7nb2