Gundo config tweaks