Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 13c98a4a0f6ef75648956b82730913c61e29aa8b)
+++ Jenkinsfile	(revision 3c40dc2a8aa14f3cd934daf20c401cf7f2933350)
@@ -424,24 +424,24 @@
 
 def do_plot(String file, String group, String title) {
-	echo "file is ${BuildDir}/benchmark/${file}.csv, group ${group}, title ${title}"
-	fileExists "${BuildDir}/benchmark/${file}.csv"
-	plot csvFileName: "cforall-${env.BRANCH_NAME}-${file}.csv",
-		csvSeries: [[
-			file: "'${BuildDir}/benchmark/${file}.csv'",
-			exclusionValues: '',
-			displayTableFlag: false,
-			inclusionFlag: 'OFF',
-			url: ''
-		]],
-		group: "${group}",
-		title: "${title}",
-		style: 'lineSimple',
-		exclZero: false,
-		keepRecords: false,
-		logarithmic: false,
-		numBuilds: '120',
-		useDescr: true,
-		yaxis: '',
-		yaxisMaximum: '',
-		yaxisMinimum: ''
-}
+	dir("${BuildDir}/benchmark/") {
+		plot csvFileName: "cforall-${env.BRANCH_NAME}-${file}.csv",
+			csvSeries: [[
+				file: "${file}.csv",
+				exclusionValues: '',
+				displayTableFlag: false,
+				inclusionFlag: 'OFF',
+				url: ''
+			]],
+			group: "${group}",
+			title: "${title}",
+			style: 'lineSimple',
+			exclZero: false,
+			keepRecords: false,
+			logarithmic: false,
+			numBuilds: '120',
+			useDescr: true,
+			yaxis: '',
+			yaxisMaximum: '',
+			yaxisMinimum: ''
+	}
+}