Install instructions in INSTALL.md