handle bug in msvc10