write Eigen version to config.log for debugging