On Feb 10, 2015, at 12:32 AM, Konstantin Belousov <kostikbel at gmail.com> wrote: And there is double-free somewhere. Are you talking about the Jenkins error? I think that was the free(name) which was the result of a mis-merge and which I fixed yesterday. Jenkins build #671 seems to be ok.