objc_sync was still using the old threads API. Fixed.