Fixed build error on archlinux (and likely other distros): eigen3 couldn't be found due to a problem with the way it was included in CMakeLists.txt. Changed this to explicitly look for Eigen3.