[Dune] dunecontrol not faster with set DUNE_CONTROL_PATH

[Christoph Grüninger]

Hi Christian,
thanks for your hint. I crowded in some more file in the directory
than the effect was measurable.
Jö suggested it might be the trailing colon in my DUNE_CONTROL_PATH
but I tested it, and it has no effect.

Bye
Christoph

-- 
Jeder verantwortungsbewusste Ingenieur begrüßt den Zwang zur Wirt-
schaftlichkeit als Zuchtmeister im Hinblick auf eine effiziente,
schöne und natürliche Konstruktion.             [Jörg Schlaich]