changing Stratos port to 9443 in agent.py