On Fri, 11 Dec 2015 11:52:25 +0100 nisse@lysator.liu.se (Niels Möller) wrote:
On which platform do you see the problem?
64 bit x86. Just tested in a Debian 32 bit VM and there the problem doesn't appear, so it seems this is a 64 bit specific problem.