Bug#423775: One more crash.

[Charles Plessy <plessy@debian.org>]

Hi Brice,

I had one crash last week, right after starting a cpu- and
memory-intensive program.

Have a nice day,

-- 
Charles