Release 2.71.7

Chore

  • rely more on dune and less on make for the build (9989e56)