try to make CI happy