make jenkins even happier