Fix README and INSTALL