align x32 pthread type sizes to be common with 32-bit archs