fix distribute_setup.py mangling