Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 3c40dc2a8aa14f3cd934daf20c401cf7f2933350)
+++ Jenkinsfile	(revision cefa6caee547959c121ae9137f4745ef67bd0fcc)
@@ -424,8 +424,11 @@
 
 def do_plot(String file, String group, String title) {
-	dir("${BuildDir}/benchmark/") {
+	def data = readFile "${BuildDir}/benchmark/${file}.csv"
+	echo data
+	writeFile file: 'data.csv', text: data
+
 		plot csvFileName: "cforall-${env.BRANCH_NAME}-${file}.csv",
 			csvSeries: [[
-				file: "${file}.csv",
+				file: 'data.csv',
 				exclusionValues: '',
 				displayTableFlag: false,