Linux Makefile. Eigen updated.