[petsc-dev] builder broken

File "setup.py", line 180, in run build(self.dry_run) File "setup.py", line 132, in build import builder File "/Users/barrysmith/Src/petsc-dev/config/builder.py", line 571 except KeyError as e: builder doesn't work with python 2.5 (as it should) since it is apparently used by setup.py Barry