bnoordhuis: would any info from the core dump be useful to you?