workaround for VC++ 2013 bug
more workarounds for VC++ 2013