diff --git a/src/lib/objgfx40/ogPixelFmt.cpp b/src/lib/objgfx40/ogPixelFmt.cpp
index 8af881c..8f25d98 100644
--- a/src/lib/objgfx40/ogPixelFmt.cpp
+++ b/src/lib/objgfx40/ogPixelFmt.cpp
@@ -1,6 +1,10 @@
 #include <objgfx40/ogPixelFmt.h>
 #include <objgfx40/objgfx40.h>
+#ifdef __UBIXOS_KERNEL__
+#include <ubixos/types.h>
+#else
 #include <sys/types.h>
+#endif
 
 ogPixelFmt::ogPixelFmt(void) : BPP(0),
                                redFieldPosition(0), greenFieldPosition(0),