compilation under VC++ 2012