fixed up the linux_32 platform