Fix timing handling on Linux