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