-teshsuite/mc/dwarf_expression/dwarf-expression
-teshsuite/mc/replay/random_bug
-teshsuite/mc/with_mutex_handling
-teshsuite/mc/without_mutex_handling
+teshsuite/mc/dwarf-expression/dwarf-expression
+teshsuite/mc/random-bug/random-bug
+teshsuite/mc/mutex-handling/mutex-handling
+teshsuite/mc/mutex-handling/without-mutex-handling