BUG: fixed a bug in the ../setupext.py