Added a little function to convert ptime to timeval.