Updated the INSTALL file.