@@ -9,9 +9,9 @@
 /* we define all platform functions here,
  * whether or not they're for the correct
  * platform - only the ones actually called
  * by the generated code will be linked */
-#include <posix.h>
+#include <posix/posix.h>
 #include <error_table.h>
 
 kiocond kiosend(kiochan target, ksraw string, sz* len) {
 	if (target.out.kind == kiostream_closed) return kiocond_fail_closed_stream;