Better fix for gettid() sim-eng breakage from last night.

Change-Id: I2e8762d43b3c224a2e102ff82fc79072a85bb4c6
1 file changed