Fall back to default timer_settime() & timer_gettime() if no versioned version is present