mango-explorer/setup.py