Fixing OS specific info for Linux 32-bit