On Mon, May 27, 2013 at 11:39:22AM +0200, Oliver Rath wrote: > Any hints to solve this? I appended the log. It is a intel core2duo > machine (64bit) with 3GB RAM. I've pushed fixes for this. Thanks for pointing it out. - Joe