Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok.