all this rigmarole just to have a good root directory name in the tar.gz