Fix for Linux 64-bit
Fix for Linux 64-bit