A few shell scripts to install from source