I keep forgetting that we need all files in git for `git checkout *.[ch]'
to work. So put back the config.h file. I wish C had a #maybe-include.