changed URL in INSTALL file.