make configure store its command line in config.mak for easy re-run