Synchronize.
Better handling of the eigen3 dependency.