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