Improve INSTALL.txt documentation on Linux building