timing: make it work on linux