Bugfix: error when providing config file as command line argument