Merge pull request #717 from jbonofre/JENKINS

Use local repository on Jenkins