Benedikt

Hi everyone, are there any updates on this issue? I am also trying to run the revocation demo with `./run_demo faber --revocation` and run in to the same error: ```...