Fix compilation error on 32-bit linux
Merge pull request #870 from Gerold31/fix-32bit-linux

Fix compilation error on 32-bit linux