Get gundo to use F5.