@@ -8,11 +8,13 @@
 #include <k/type.h>
 #ifdef KFenv_posix
 #	define KFplatform_define_types
 #	define KFplatform_define_constants
-#	include <posix.h>
+#	include <posix/posix.h>
 #endif
 
+/* this manual redefinition is necessary to stop gcc
+ * bitching that kstop returns, which it def does not */
 noreturn extern struct k_platform_syscall_answer
 k_platform_syscall(enum k_platform_syscall call, u8 valency, 
 		k_platform_syscall_arg args[]);