Fetch last commits, then patch the repos

Find what broke the build with Jenkins
Even if fetching the repos is useless (already done with the repo sync), why not doing it?
The important thing is to build stuff correctly: so now should work fine