Make Visual Studio 2010 happy (maybe).

Fixes #5637