Fix logic of pthread type sizes to match C headers.
Merge pull request #513 from ibuclaw/x32arch

Fix logic of pthread type sizes to match C headers.