fix #422: eigen3 3.2.2 is in contrib and so far so good