no need to `#endif` here if the implementation depends on `eigen`