Add a dirty trick to find/test PETSc

parent ce1ec412

This commit is part of merge request !56. Comments created here will be created in the context of that merge request.