Patch to add gnome-like copy-paste shortcuts