Changing ssh alias to mosh - it was too troublesome