config.h adapted to win32