Update INSTALL to actually reflect the current situation.