--- a/project_files/hwc/rtl/fileio.h	Tue Nov 13 22:24:30 2012 +0100
+++ b/project_files/hwc/rtl/fileio.h	Tue Nov 13 23:39:49 2012 +0100
@@ -2,7 +2,7 @@
 #define FILEIO_H_
 
 #include <stdio.h>
-#include "types.h"
+#include "Types.h"
 #include "misc.h"
 
 extern        int                                       FileMode;