should fix travis-ci...