config.h: don't include in git repository.