--- a/project_files/hwc/rtl/system.h	Tue Nov 13 22:24:30 2012 +0100
+++ b/project_files/hwc/rtl/system.h	Tue Nov 13 23:39:49 2012 +0100
@@ -2,8 +2,7 @@
 #define SYSTEM_H_
 
 #include <time.h>
-#include <math.h>
-#include "types.h"
+#include "Types.h"
 #include "misc.h"
 
 extern double pi;