diff --git a/src/include/liblinux.h b/src/include/liblinux.h
index c56d497..f2bd577 100644
--- a/src/include/liblinux.h
+++ b/src/include/liblinux.h
@@ -4,11 +4,12 @@
 #include <liblinux/syscall.h>
 #include <stddef.h>
 #include <sys/types.h>
+#include <bits/types/FILE.h>
 
 void sys_exit(int status); // FIXME: noreturn
 int sys_open(const char *pathname, int flags);
 int sys_close(int fd);
-ssize_t sys_write(int fd, const void *buf, size_t count); 
+ssize_t sys_write(FILE *fd, const void *buf, size_t count); 
 ssize_t sys_read(int fd, void *buf, size_t count); 
 
 // TODO
diff --git a/src/liblinux.c b/src/liblinux.c
index c82f3ce..0184874 100644
--- a/src/liblinux.c
+++ b/src/liblinux.c
@@ -13,7 +13,7 @@ int sys_close(int fd) {
   return syscall(__NR_close, fd);
 }
 
-ssize_t sys_write(int fd, const void *buf, size_t count) {
+ssize_t sys_write(FILE *fd, const void *buf, size_t count) {
   return syscall(__NR_write, fd, buf, count);
 }