added conversion for TSK time format