[Bug 936251] bits/time.h misses CLOCK_TAI that is present in linux/time.h