Fix URL in INSTALL.md.
Remove empty file.