Don't export cryptominisat4 --  only installed version is now detected
Print MySQL errors to std::cerr
Fixing SQL adding during tests