-+ src/simix/README_attempt_without_stack
-+ src/simix/simix_network\.tla
-
-+ src/smpi/BUGS
-+ src/smpi/colls/alltoall-bruck\.c
-+ src/smpi/fixsrc\.pl
-+ src/smpi/myprintloc\.cocci
-+ src/smpi/patch_source\.sh
-+ src/smpi/replace_globals\.cocci
-+ src/smpi/replace_static\.cocci
-
-+ teshsuite/smpi/mpich3-test/f77/attr/.*