eigen3: version bump