removed unnecessary include specific to 32-bit linux