Updated INSTALL files