[gambit-list] gambit 4 beta 12 on Win32