As Christoph pointed out in FS1467, that's a rather unusual name for a
DUNE header file, so make it a little more consistent.