make CI happy