Check if cryptominisat4 has been found, not for the DIR

I guess this was a typo and not intentional? I'm not really sure but it
sure looks like a typo :)