> crashes all the time with segmentation faults We would very much appreciate any bug reports, even if you don't have the time to reduce (if you have filed und

> crashes all the time with segmentation faults We would very much appreciate any bug reports, even if you don't have the time to reduce (if you have filed under another username, thank you!).