Update with df77540 from Travis CI