Fix version detection for SCOTCH (fixes issue #253).