It used to be in dune-functions originally, but got moved to
dune-common eventually.  This patch updates the code to reflect
that move.