Also put solver name into folder
Only build if solver is cryptominisat