make jenkins happy