Cursor shape change in Gnome Terminal