Fix compilation error on 32-bit linux

There was an error compiling on 32-bit (Arch) Linux.