Fixing the build

Dockerfile.jenkins

@@ -0,0 +1,2 @@
+FROM schemers/gauche
+RUN apt update && apt install -y make wget

Jenkinsfile

@@ -19,6 +19,7 @@ pipeline {
     stages {
         stage("Build") {
             steps {
+                sh 'make clean'
                 sh 'make'
                 archiveArtifacts artifacts: 'setup_*.exe'
             }