Use a more accurate timer to sleep on Linux systems.
1 file changed