Update git__timer() for other platforms.