fixed a departed header file include error for some versions of vc++.