make sure ipc_space_t is defined for user as well
remove posix_spawn.c
make launchd build statically