building on Windows with WinGLPK