Syzextra: fixed / updated option(prot) output