Specify VisualStudio version in config script to fix building on systems with both Visual Studio 2010 and 2012 installed.