Update INSTALL~