fix compilation for Visual C++ 2012