fix compilation with VS 2012