have built petsc 3.4.0 on leopard just fine