Enable cryptominisat to be built with MSVC.