Add VS2012 update 3 version number.
Remove the VS2012 update 2 workaround now that update 3 is out.

This reverts da78edb, 8d50410 and 0d6bec3