These files are precompiled libraries for windows. The corresponding
header files are in the winclude directory.