2014-09-02 21:24 GMT+02:00 Mike Pall <mike-1409@xxxxxxxxxx>: > I'm sorry, but I cannot reproduce the problem. I get identical > output, no matter how often I run it. I've tried x86, x64, git > master, git v2.1, various build options, etc. No change. Ok Mike, thank you for looking at that anyway. Actually the problem is hard to reproduce for example in my PC at work I cannot reproduce it while at home it always happens and both systems are x86. > Are you sure this is a completely unmodified clone of the repo, > no LUA_* environment variables, etc.? Yes, it is a completely unmodified version but don't mind about that. I will came back if and when I will be able to reproduce the bug more reliably. -- Francesco