ensuring that USING_BUNDLED_EIGEN is set (although it is not currently used in any substantial way)