diff -urN s00/src/Makefile s01/src/Makefile
--- s00/src/Makefile 2011-04-09 16:59:26.000000000 +0200
+++ s01/src/Makefile 2011-05-06 17:25:55.882961287 +0200
diff -urN s00/src/Makefile s01/src/Makefile
--- s00/src/Makefile 2011-04-09 16:59:26.000000000 +0200
+++ s01/src/Makefile 2011-05-06 17:25:55.882961287 +0200