Jenkins script tweak