Fixing some things in the cryptominisat4 module
Minor fixes