Fix broken links in INSTALL.md. Contributed by @dklimpel.