libpthread {
  GLIBC_2.2.3 {
    __pthread_clock_gettime; __pthread_clock_settime;
  }
}