Index: src/libcfa/builtins.cf
===================================================================
--- src/libcfa/builtins.cf	(revision 3f3b731d6a6cbfe9e549e3f2a156ce26d35ed3e1)
+++ src/libcfa/builtins.cf	(revision 0a2c1f1280bbc8607c53a7d230e76d4f285e0a82)
@@ -584,2 +584,4 @@
 int __builtin_LINE();
 extern const char *__PRETTY_FUNCTION__;
+typedef int wchar_t;
+int atexit( void (*)(void) );