renamed Install to Install.txt, as some (dumb) OSes that have case- insensitive filesystems don't think anything needs to be done for "make install"