Adding a GPL license notice to config.c.