Index: doc/papers/OOPSLA17/evaluation/timing.gp
===================================================================
--- doc/papers/OOPSLA17/evaluation/timing.gp	(revision f4e3419d14c62967d6b0785e8d91d429cc04b95b)
+++ doc/papers/OOPSLA17/evaluation/timing.gp	(revision c9c9ac4f37b1932b3b5d84b2da1ab654a58e3069)
@@ -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