Configurable remote shell port

This lets the shell port be configurable. We ran into a port conflict and had to change it.