SSH config for Karl.