Define another testable variable, HAVE_EIGEN