Re: EXTERNAL: oval-results option