fixed: building with dune > 2.3

these symbols were deprecated in 2.3 and removed in master
Merge pull request #92 from akva2/fix_dune_master

fixed: building with dune > 2.3