Fix jenkins settings