Index: buildutils/pbs_mkdirs.in
===================================================================
--- buildutils/pbs_mkdirs.in
+++ buildutils/pbs_mkdirs.in	2007-02-22 17:06:25.000000000 +0100
@@ -112,7 +112,7 @@
 # PBS_SERVER_HOME is defined without DESTDIR so that DEFAULT_FILE and EVIRON
 # can be based on SERVER_HOME.  SERVER_HOME is defined a second time to pick
 # up DESTDIR
-test -n "$PBS_SERVER_HOME" || PBS_SERVER_HOME=@PBS_SERVER_HOME@
+test -n "$PBS_SERVER_HOME" || PBS_SERVER_HOME=${DESTDIR}@PBS_SERVER_HOME@
 test -n "$PBS_DEFAULT_FILE" || PBS_DEFAULT_FILE=${DESTDIR}@PBS_DEFAULT_FILE@
 test -n "$PBS_ENVIRON" || PBS_ENVIRON=${DESTDIR}@PBS_ENVIRON@