[X2Go-Dev] Bug#733: SSH GSSAPI: use master+slave sockets