Remove dune-stuff header that had a lot of bugs