+/**
+ * \file
+ */
#include "w32process.h"
#include "w32process-unix-internals.h"
#ifdef USE_HAIKU_BACKEND
-#include <KernelKit.h>
+/* KernelKit.h doesn't include the right headers? */
+#include <os/kernel/image.h>
gchar*
mono_w32process_get_name (pid_t pid)