json: fix travis config