tool_util.c: Use GetTickCount64 if it is available