one more attempt to fix travis-ci...