Pixel Streaming Issue

Hi,
I’m trying to follow this tutorial about pixel streaming https://www.youtube.com/watch?v=Z-3qY-qKbQo&t=236s and at 0:55 he opens the get_ps_servers.bat file and gets new files and folders, but when I double click it, it closes immediately and all I get is 1 file named DOWNLOAD_VERSION that’s 1KB. What am I missing?