Fix proxy port command line option