Renamed options-init to old-options-init.