new recipe: eigen 3.1.3