BUG: fixed bug in setupext.py