--- src/dot.cpp.ORIG	2010-06-23 13:30:02.000000000 +0200
+++ src/dot.cpp	2010-07-26 15:42:24.999529067 +0200
@@ -3210,7 +3210,7 @@
     }
     else
     {
-      dotRun.addJob("ps",absOutFile+".eps");
+      dotRun.addJob("eps",absOutFile+".eps");
     }
   }