fixed bug for badmin in setup.py