Put some header files back that Win32 needs.