See https://tinyssh.org/install.html
