Comment # 1 on bug 915690 from Bernhard Wiedemann

(gdb) bt
#0  0x00007ffff65980f7 in raise () from /lib64/libc.so.6
#1  0x00007ffff65994ca in abort () from /lib64/libc.so.6
#2  0x00007ffff65d5844 in __libc_message () from /lib64/libc.so.6
#3  0x00007ffff65dac1e in malloc_printerr () from /lib64/libc.so.6
#4  0x00007ffff65db946 in _int_free () from /lib64/libc.so.6
#5  0x00007ffff66159cd in closedir () from /lib64/libc.so.6
#6  0x0000000000411ca8 in clean_shutdown () at main.cpp:380
#7  0x0000000000407505 in main (argc=2, argv=0x7fffffffe4a8) at main.cpp:518