install.sh simplified

A simple change, so that we don't repeat ourselves when we don't have to.

It should also be a bit faster now, which is not very important though.