simplified the time conversion from utc to tai

a very small PR