make travis ci happy