[mono-symbolicate] Use Mono.Options.