Update travis exec for S3 push