For better debugging aid when something goes wrong, log the name of
the effective configuration file.