patch to fix armv7 test server crash

pidfile.patch

diff --git a/tests/server/util.c b/tests/server/util.c
index 75f3cb1b6..414d7194f 100644
--- a/tests/server/util.c
+++ b/tests/server/util.c
@@ -288,11 +288,11 @@ int write_pidfile(const char *filename)
    */
   pid += 65536;
 #endif
   fprintf(pidfile, "%" CURL_FORMAT_CURL_OFF_T "\n", pid);
   fclose(pidfile);
-  logmsg("Wrote pid %ld to %s", pid, filename);
+  logmsg("Wrote pid % " CURL_FORMAT_CURL_OFF_T " to %s", pid, filename);
   return 1; /* success */
 }
 
 /* store the used port number in a file */
 int write_portfile(const char *filename, int port)