Don't take advantage of OptionDummy's new "auto-initialization" feature

after all -- turns out it doesn't buy us much after all...