Trying to make travis-ci happy