Fix install.sh to make it more portable