Converted the server to -DSTRICT.

diff --git a/tools/make_requests b/tools/make_requests
index 9cad33f..df8506f 100755
--- a/tools/make_requests
+++ b/tools/make_requests
@@ -31,9 +31,9 @@
     "void*"         => "%p",
     "time_t"        => "%ld",
     "size_t"        => "%d",
-    "obj_handle_t"  => "%d",
+    "obj_handle_t"  => "%p",
     "atom_t"        => "%04x",
-    "user_handle_t" => "%08x",
+    "user_handle_t" => "%p",
     "process_id_t"  => "%08x",
     "thread_id_t"   => "%08x",
     "rectangle_t"   => "&dump_rectangle",