git:// behind proxy workaround updated