quell deprecation warning with dune 2.3

while it is very unlikely to harm anything, there is little reason to include it in 2013.10.