On Tue, 2013-04-23 at 12:33:10 +0200, Raphael Hertzog wrote: > I have pushed some fixes for warnings that I saw, I've pushed a proper fix for this now. Guillem