Why is specifying the login and port in sshmnt config required? If omitted, ssh could take them simply from .ssh/config...