Use a different source for distribute_setup.py