[plt-scheme] MrLib manual installation error

I get the following output when trying to use Help Desk's CVS update
feature on the MrLib manual.  Can anyone else verify (and/or fix) this
problem?

--Carl

Downloading PLT MrLib: Graphical Libraries Manual...
Installing new version of PLT MrLib: Graphical Libraries Manual...
setup-plt: Setup version is 299.32
setup-plt: PLT home directory is /Users/cce/Tinker/plt-299
setup-plt: Collection paths are 
setup-plt:   /home/cce/.pltcollects
setup-plt:   /Users/cce/Library/PLT Scheme/299.32/collects
setup-plt:   /Users/cce/Tinker/plt-299/collects
gnu-unzip: bad header
not an unpackable distribution archive
Clearing cached indices
Finished.