quell deprecation warning with dune 2.3
Merge pull request #62 from akva2/quell_deprecation_warning

quell deprecation warning with dune 2.3