Updated INSTALL doc for 1.4.0