This message replaces a later part of the message <https://lists.dune-project.org/pipermail/dune-pdelab/2011-November/000241.html>. The message had been split by an earlier version of mailman since an attachment looked like it's own message.