Move PATH setting to pushdoc.sh