switch to Visual Studio 2012 toolset, minor changes