Update travis.yml with recent PR