On Fri, Apr 08, 2016 at 10:02:32AM +0200, Federico Reghenzani wrote: > Nope, I rechecked and it's patched. I tried also to clean, make and > install again, same behaviour. OK, thanks a lot! I'll ping you once I figure out what the problem is.