Bugfix for new file based configuration as used by SimpleSAMLphp