fix Jenkins job