bug fix: compilation error in VS2013 64x