Indeed: in fact someone must have found the issue eventually, as newer versions exited with an error instead of core dumping. Sadly, academic constraints (time

Indeed: in fact someone must have found the issue eventually, as newer versions exited with an error instead of core dumping. Sadly, academic constraints (time; results required the day before) prevented me from actually filing a bug report.