Fix install.sh to work on a Ubuntu server