Fix high-res timer for Unix