diff --git a/Jenkinsfile b/Jenkinsfile
index af1212b..f8dd71d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,7 +25,7 @@ pipeline {
                     tests.each { test ->
                         stage("${STAGE_NAME} ${test}") {
                             catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                                sh "make test-compile-r7rs COMPILE_R7RS=${ṢTAGE_NAME} TESTNAME=${test}"
+                                sh "make test-compile-r7rs COMPILE_R7RS=${env.IMPLEMENTATION} TESTNAME=${test}"
                                 sh "cat tmp/test/primitives"
                             }
                         }