Fixing Jenkins

as above