eigen2: reverts to 2.0.17