Update INSTALL file.