Why3 does not compile with Coq 8.15.0

Hi all, Currently, master does not compile with Coq 8.15.0:

File "./lib/coq/bv/BV_Gen.v", line 877, characters 13-26:
Error: The reference Nat.Even_div2 was not found in the current environment.

This seems to be related to commit bf71827e