manage-password.py: fix default ssh port