support timing under linux