Index: libcfa/prelude/extras.c
===================================================================
--- libcfa/prelude/extras.c	(revision 6d5790dd84b2536da5da5b3f523d8d9ca53289e3)
+++ libcfa/prelude/extras.c	(revision c58ead7c304c33bc8c33d1ca270fffcfa955ec02)
@@ -3,4 +3,5 @@
 #include <uchar.h>					// char16_t, char32_t
 #include <wchar.h>					// wchar_t
-#include <stdlib.h>					// malloc, free, exit, atexit, abort
+#include <stdlib.h>					// malloc, free, getenv, exit, atexit, abort, printf
 #include <stdio.h>					// printf
+#include <string.h>					// strlen, strcmp, strncmp
Index: libcfa/prelude/extras.regx2
===================================================================
--- libcfa/prelude/extras.regx2	(revision 6d5790dd84b2536da5da5b3f523d8d9ca53289e3)
+++ libcfa/prelude/extras.regx2	(revision c58ead7c304c33bc8c33d1ca270fffcfa955ec02)
@@ -1,6 +1,10 @@
 extern void \*malloc[^;]*;
 extern void free[^;]*;
+extern char \*getenv[^;]*;
 extern void exit[^;]*;
 extern int atexit[^;]*;
 extern void abort[^;]*;
 extern int printf[^;]*;
+int strcmp[^;]*;
+int strncmp[^;]*;
+size_t strlen[^;]*;