[gssproxy] Patch to adress ticket #94