pass correct port number to ssltest.py