anchor.diff:  let
   
     # **please** update this patch when you update to a new openssh release.
  -  gssapiSrc = fetchpatch {
  +  gssapiPatch = fetchpatch {
       name = "openssh-gssapi.patch";
       url = "https://anonscm.debian.org/cgit/pkg-ssh/openssh.git/plain/debian"
  -        + "/patches/gssapi.patch?id=db2122d97eb1ecdd8d99b7bf79b0dd2b5addfd92";
  -    sha256 = "1rw10pmvjw55521ys59x1kabvbvmla506znakwwjijggdsakvsjm";
  +        + "/patches/gssapi.patch?id=1e0d55f9163793742d20eaadd4784db16fd3459d";
  +    sha256 = "130phj87q87p9crigd6852nnaqsqkfg09h45a32lk4524h9kkxgb";
     };
   
   in
  
positive.code:   # Please ensure that openssh_with_kerberos still builds when
    # bumping the version here!
    name = "openssh-${version}";
    version = "7.5p1";
  
    src = if hpnSupport then
        fetchurl {
  
negative.code:     else
        fetchurl {
          url = "mirror://openbsd/OpenSSH/portable/${name}.tar.gz";
          sha256 = "08qpsb8mrzcx8wgvz9insiyvq7sbg26yj5nvl2m5n57yvppcl8x3";
        };
  
    patches =
  