Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b8dd7862a616597d849afecd6da669154bcf6ce2)
+++ Jenkinsfile	(revision c95fdc9b2d6cfa19b091beca52f80ed05d626b36)
@@ -173,5 +173,7 @@
 	catch (Exception err) {
 		echo "Archiving core dumps"
-		archiveArtifacts artifacts: "${BuildDir}/tests/crashes/**/*", fingerprint: true
+		dir (BuildDir) {
+			archiveArtifacts artifacts: "tests/crashes/**/*", fingerprint: true
+		}
 		throw err
 	}