Made bash ctrl-arrow keys work in VNC _and_ SSH