Set built_system in case we are not using cryptominisat

This way, we don't enter a loop