Revise INSTALL