Try to make CI happy