This removes a compiler deprecation warning.  By using the usual preprocessor magic
we retain compatibility with the dune 2.3 release.

[[Imported from SVN: r9993]]