revision 1.12 of config.py

Include an empty body when checking for a header file

(Bugfix candidate for 2.2, and likely 2.1 as well)