make it compile on dune 2.3

the first two patches are only temporary because we need the DUNE_VERSION macros