You can also use VS 2012. I have it up and running on my machine. You’ll need to make sure you have Windows 8.1 SDK installed and before you run the GenerateProjectFiles.bat, you’ll have to update the build tool source files to set VS 2012 as the project type.