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

Use official flag for detailed symbols. Require VS2013 with update 3 or later to build.