fixing https://github.com/openpeer/op-identity-provider-server-php/issues/76