trying to make travis-ci happy