stuff is now buildable with dune-cmake