[boost] bug in signals library? - segmentation fault (only linked) -> exit(11) called