trying to fix travis-ci!