Restoring travis-ci build (2nd try).