Make sure the default protocol doesn't ever end up undefined in Plink.