Merge correction to INSTALL from trunk.
Authored by: whebisch 2012-02-19
Parent: [r1349]
Child: [r1351]