Update INSTALL document.