trying dirty trick to keep petsc build from timing out