#include <sys/times.h>
  // missing _times function in libc
  clock_t _times(struct tms *ptms){
    return 0;
  }