Bug fix for dist-docs/buildup.sh