Eigen included like other libraries: outside of present directory