Explicitly create config.done in configure script, so that top level Makefile doesn't clobber a users configure options.
Explicitly create config.done in configure script, so that top
level Makefile doesn't clobber a users configure options.