make travis-ci work