half of eigx.c Win32 fix