install_EIGEN.sh 519 Bytes