Work around a really stupid VC++ bug