added larger revision of dune_boogie map