Minor change of build tool version to allow compilation with Visual Studio 2012