install_EIGEN.sh 697 Bytes