travis: correctly declare eigen3