Fix build in VC++ under Windows