Export serf port number correctly