INSTALL.txt fixes.  Note, still not working under fedora