Update INSTALL file (automatically regenerated)