try to make jenkins happy