(cherry picked from commit 7369e156) Signed-off-by: Steffen Müthing <muething@dune-project.org>
mentioned in issue #17 (closed)