make gettid() linux only.