BUG: fixing a bug in the setupext.py