Fix #117: Port setting in config file.