Index: libcfa/prelude/bootloader.cf
===================================================================
--- libcfa/prelude/bootloader.cf	(revision c99a0d1d83786675887a035019c801e7cbfeed0c)
+++ libcfa/prelude/bootloader.cf	(revision a1574e292b87162268e9c0e5e2e3ee9345178046)
@@ -3,5 +3,5 @@
 char ** cfa_args_argv;
 char ** cfa_args_envp;
-int cfa_main_returned = 0;
+__attribute__((weak)) extern int cfa_main_returned;
 
 int main(int argc, char* argv[], char* envp[]) {
@@ -10,5 +10,5 @@
 	cfa_args_envp = envp;
 	int ret = invoke_main(argc, argv, envp);
-	cfa_main_returned = 1;
+	if(&cfa_main_returned) cfa_main_returned = 1;
 	return ret;
 }