2014-02-04 Julien Cristau <jcristau@debian.org>: > I'm pretty sure that's not a problem with the machine, it's your > compiler getting killed by the kernel because it's eating too much > memory for breakfast. Can you give them back, please? Regards, Anton