core: allow overriding default SSH port [GH-3474]