removing files that are specific to Dune