bring back header file needed under MSVC