Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b8dd7862a616597d849afecd6da669154bcf6ce2)
+++ Jenkinsfile	(revision e25aa696d501593f0c8f847c014e6dc6b153c1fe)
@@ -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
 	}