make jenkins moderately happy