Fix links in INSTALL.md.