Tweaking build for GSSAPI testing on Jenkins