Fix for when SCOTCH is not configured.