- backup the existing .config file, if present, and restore it before exiting - make clean before exiting