Inlcude src/api/pmi_server.h in slaunch.c

src/slaunch/slaunch.c

@@ -82,6 +82,7 @@
 #include "src/slaunch/slaunch.h"
 #include "src/slaunch/fname.h"
 #include "src/slaunch/multi_prog.h"
+#include "src/api/pmi_server.h"
 
 /* FIXME doesn't belong here, we don't want to expose ctx contents */
 #include "src/api/step_ctx.h"