third-party/eigen.cmake.in