redo+ replaced with linear-undo after update to emacs 24.3