Fix bug #12878 with compilation failure with Visual C++ 11.0.