Can we rename this ASPECT_USE_PETSC to stay within our own namespace?