Clean up ssh aliasing
Fix arrowkeys/ctrl-arrowkeys on Ubuntu14.04 and similar vintage debian