diff --git a/support/c/idris_file.h b/support/c/idris_file.h
index c8bfdbfcf..0eeaeff00 100644
--- a/support/c/idris_file.h
+++ b/support/c/idris_file.h
@@ -22,6 +22,9 @@ int idris2_fileSize(FILE* h);
 
 int idris2_fpoll(FILE* f);
 
+void *idris2_popen(const char *cmd, const char *mode);
+void idris2_pclose(void *stream);
+
 // Seek through the next newline without
 // saving anything along the way
 int idris2_seekLine(FILE* f);