[petsc-users] Building apps on Cori