diff --git a/tests/server/util.c b/tests/server/util.c
index 3d12ba9b9f54664dc63cfbd82a279e0349669150..8a2fa88149d447c6a2b410d2573f1894cd3df439 100644
--- a/tests/server/util.c
+++ b/tests/server/util.c
@@ -218,7 +218,7 @@ int wait_ms(int timeout_ms)
   return r;
 }
 
-bool write_pidfile(const char *filename)
+int write_pidfile(const char *filename)
 {
   FILE *pidfile;
   long pid;
@@ -227,10 +227,10 @@ bool write_pidfile(const char *filename)
   pidfile = fopen(filename, "w");
   if(!pidfile) {
     logmsg("Couldn't write pid file: %s %s", filename, strerror(ERRNO));
-    return FALSE;
+    return 0; /* fail */
   }
   fprintf(pidfile, "%ld\n", pid);
   fclose(pidfile);
   logmsg("Wrote pid %ld to %s", pid, filename);
-  return TRUE;
+  return 1; /* success */
 }
diff --git a/tests/server/util.h b/tests/server/util.h
index f5ec0333bf73eb7948490db3f27567752c3e2ca5..4f07fcb0503de0bfa5b284402d40296d79429181 100644
--- a/tests/server/util.h
+++ b/tests/server/util.h
@@ -22,7 +22,6 @@
  *
  * $Id$
  ***************************************************************************/
-#include "setup.h" /* portability help from the lib directory */
 
 void logmsg(const char *msg, ...);
 
@@ -52,6 +51,6 @@ char *test2file(long testno);
 
 int wait_ms(int timeout_ms);
 
-bool write_pidfile(const char *filename);
+int write_pidfile(const char *filename);
 
 #endif  /* __SERVER_UTIL_H */