Changed: improved doc/INSTALL.md a bit