Back in the day, when you wanted to redirect both stdout and stderr, you did it like so:
./script > /dev/null 2>&1
The current installation script uses this technique. However, Bash has for some time allowed the code above to be written more elegantly like so:
./script &> /dev/null
I have changed the installation script to utilize this feature.
Merged as 9bfed16