try to make travis ci happy