define timer_t for linux