On Thu, Nov 15, 2012 at 03:56:39PM +0000, Patrick Welche wrote: > Yes indeed - your patch fixes this. Thanks for testing! There will be a better fix upstream (already filed in bugzilla), but for now this one should do. Martin