Change how we handle the Ssh_gss_buf type. Previously, we defined it