Fixing GSS-API bug