No need to pull eigen for Travis-CI (its too old)