Update install-ubuntu-13.10-server.sh