Lean: concurrency_interface test fails

[protoben]

The concurrency_interface Lean test fails with the following message:

error: ././././Out.lean:291:38: application type mismatch
  sail_mark_register PreSail.Reg
argument
  PreSail.Reg
has type
  (r : ?m.5451) → PreSail.RegisterRef ?m.5452 (?m.5452 r) : Type
but is expected to have type
  RegisterRef ?m.5450 : Type
error: ././././Out.lean:292:43: application type mismatch
  sail_mark_register_pair PreSail.Reg
argument
  PreSail.Reg
has type
  (r : ?m.5699) → PreSail.RegisterRef ?m.5700 (?m.5700 r) : Type
but is expected to have type
  RegisterRef ?m.5697 : Type
error: ././././Out.lean:292:51: invalid dotted identifier notation, unknown identifier `String.Reg` from expected type
  String
error: Lean exited with code 1
✔ [13/14] Built Out.Sail.Sail:c.o
Some required builds logged failures:
- Out
error: build failed