Updated INSTALL instructions too