Merge pull request #777 from shuffle2/vs2013-update3 Use official flag for detailed symbols. Require VS2013 with update 3 or later to build.
