filesystem: backported dune upgrade fix.