Of course the files are fine. Though, you can always just play it in the browser without downloading if you're worried about the download. It's the same update on every platform.
