HAVE_EIGEN -> USE_EIGEN.