Fix logic of pthread type sizes to match C headers.