Better INSTALL file instructions