[Oberon] Crypto stuff fixes