Fix warning on Linux 32-bit builds