don't double include eigen3

15 jobs for duplicated_find_eigen3 in 14 minutes and 42 seconds (queued for 1 second)