Making sure all -hpx:ini=... configuration values are set before actual command line handling