--- bench/bench4.run.orig 2014-12-16 05:17:53.000000000 +0200
+++ bench/bench4.run 2014-12-28 18:56:02.000000000 +0200
@@ -1 +1 @@
-time ../bin/dynamic bench4 1000 1.0 10.0 2 298.0
+time dynamic bench4 1000 1.0 10.0 2 298.0