Jenkins script fixes.