fix travis-ci, hopefully