Destroying options with prefix extractor set crashes.

This pull request isn't meant to be merged. It's meant to communicate a bug.

I haven't been able to figure out why this is crashing.