eigen: fixup Eigen_DEFINITIONS