#81: change port 9000 -> 9001 in 'streaming_xxxxx.py' scripts