i) vm-clean rule changed so that exec-envir/boot is clean after make vm-clean