Fixed #969: Non-existant INI files requested on the command line via --hpx:config do not cause warnings or errors.