Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 01b8088dce26743a1a8ac2cac141069ddbe90927)
+++ Jenkinsfile	(revision 86f641b23d27d3429d1c7eda217a7c7dc4881f78)
@@ -32,5 +32,6 @@
 	build_stage 'Cleanup'
 
-		//No clean step needed for now
+		//do a maintainer-clean to make sure we need to remake from scratch
+		sh 'make maintainer-clean > /dev/null'
 }