Fix for VC12