On Sun, Oct 03, 2010 at 01:03:21PM +0200, Miklos Vajna wrote: > > The attached diff fixes the problem for me, ok to push? > > Great! > > Look ok, though I would wait for Petr's ACK. :) I've committed it and it also fixed the same problem for a Mac OS X user. Thomas