Fix: compilation under vs2013