Some more tweaks for detecting SCOTCH.