Including INSTALL.txt in Linux distribution file.