fix travis script