Looks like the reason for this file has gone.  We shall merge
the code into config.inc soon.

(cherry picked from commit cde9b8f8)