Updated the installation instructions in INSTALL.