For for hi-res timer threads on android.