fix include of eigen