include eigen as system header

so warnings are swallowed
25 jobs for master in 23 minutes and 31 seconds (queued for 4 seconds)