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