removed now useless INSTALL.md