Little typo fix

./hello_world is not recognized on Windows.
We can type either hello_world or hello_world.exe to run the executable. I chose hello_world because that the one chosen in the first exemple, line 163. But maybe we can change both to "hello_world.exe".