Put the SSH defaults in config.py and use them.

Fixes #10604