Update auto_install/INSTALL