Tweak gundo options.