jeroen Fix CI things