Why use a prefix of `#{prefix}/#{petsc_arch}` rather than `#{prefix}`? The latter is more typical.