Update the INSTALL file to match current reality