[petsc-users] source download with EasyBuild fails