Modification du makefile afin que l'installation soit plus propre et que les jobs d'intégration continue puissent passer