We don't use SimpleSAMLphp!