Sorry, I had forgotten that: Yes my test systems are 32bit ARM systems. On 64bit systems the problem is not reproducible.
Sorry, I had forgotten that: Yes my test systems are 32bit ARM systems. On 64bit systems the problem is not reproducible.