Allow custom push gateway to use non-default port