Restore the right descriptor (with the right module name)
Small fixes
Add a build hook to synchronize after the rentrant build
(used when no reentrant build is finally triggered by the BuildManager)
Fix Copy/Paste error
Catch the end of the reentrant build even when cancelled
Support both loadFromBinaries and loadFromSources modes
Update archives