eigen upstream