[plt-scheme] Building from 4.2.5 src, setup-plt died while buildings docs: should I worry?

Building from src, setup-plt died while buildings docs:

setup-plt: post-installing: help
setup-plt: post-installing: mred
setup-plt: post-installing: mysterx
setup-plt: post-installing: mzcom
setup-plt: done
setup-plt:
setup-plt: error: during Building docs for
/home/grettke/bin/plt-4.2.5/lib/plt/collects/scribblings/guide/guide.scrbl
setup-plt:   delete-file: cannot delete file: "/var/tmp/stuff.txt" (No
such file or directory; errno=2)
setup-plt: error: during Building docs for
/home/grettke/bin/plt-4.2.5/lib/plt/collects/scribblings/reference/reference.scrbl
setup-plt:   open-output-file: cannot open output file:
"/var/tmp/mztmp12720547351272054735148" (Permission denied; errno=13)

Should I worry?

I only care about the system not the documentation.