Let’s see if this will improve timing accuracy on Ubuntu.