set default port to 9999