.ssh/config: use "User bjornfor" for ubuntu-server