diff --git a/Jenkinsfile b/Jenkinsfile
index e78d8d9..5b05a86 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,6 +18,11 @@ pipeline {
     }
 
     stages {
+        stage('Init') {
+            steps {
+                sh "apt-get update && apt-get install -y make docker.io"
+            }
+        }
         stage('R6RS') {
             steps {
                 script {