Correction for bug #722773 thanks to Ting-Wei Lan
Updated INSTALL