Use it any way you want... It's probably not compatible with dune-common under
that license, but people can cut and paste the code.