Fix for msvc12 project

As part of fix for #5075.