A simple TCP port redirector