I have the game set up to launch through steam as well, if i had to guess the problem is most likely the fact that it is in the downloads folder as that is generally not a good spot to store files like games and such. If he was able to set it up in steam the game should be extracted correctly.