Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 59b050c..37c22c7 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -92,6 +92,7 @@ static void xbt_preinit(void) {
   srand(seed);
   srand48(seed);
 
   srand(seed);
   srand48(seed);
 

+  atexit(xbt_postexit);

 }
 
 static void xbt_postexit(void)
 }
 
 static void xbt_postexit(void)