Currently the port can only be set in the `pcconfig.py` file. It would be nice if we could override it during `pc run`.