Fix warning for: The ABI for passing parameters with 32-byte alignment has changed in GCC 4.6

See e.g.

• https://gitlab.dune-project.org/core/dune-common/-/jobs/101531
• !677 (comment 56374)
• !607 (merged)