The INSTALL file, sitting in distributions/top/INSTALL, is not put into the tar file.
