revert to less-annoying ssh syntax