Fix up the ssh config stubs a bit