diff --git a/Jenkinsfile b/Jenkinsfile
index 897341f..3d0777b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
     stages {
         stage('Chibi primitives') {
             agent {
-                docker {
+                dockerfile {
                     filename 'Dockerfile.test'
                     additionalBuildArgs '--build-arg COMPILE_R7RS=chibi'
                 }