The submodule is used by default, and EIGEN3_INCLUDE_DIR should only be set if a user has an explicit need for it.