Use the correct guard (HAVE_EIGEN3 instead of HAVE_EIGEN)