gundo; temporary removal of F5 mapping