Update with 56b4da0 from Travis CI