Fixes #520: Config.getConfig is called either with a file path or with no arguments