Fixed #4277: update setup.py