fix build/warnings on Dune master (3.0)