Index: doc/papers/general/evaluation/timing.gp
===================================================================
--- doc/papers/general/evaluation/timing.gp	(revision a43dd549e90bdc806c0d76e79211059557128362)
+++ doc/papers/general/evaluation/timing.gp	(revision ab3251e7b1e2774d12d8f27428f99ce3416ce632)
@@ -2,5 +2,5 @@
 # set output "timing.pdf"
 set terminal pslatex size 6.25,2.125 color solid
-set output "timing.tex"
+set output Build."timing.tex"
 
 set pointsize 2.0