Fix jenkins recipe