core: fix compatibility with Eigen >= 3.3.9

9 jobs for pr/1346 in 155 minutes and 50 seconds (queued for 1 second)