Fix jenkins build