  Within the ongoing debate about de Sitter (dS) vacua in string theory,
different aspects of explicit dS proposals have come under intense scrutiny.
One key ingredient is D7-brane gaugino condensation, which is usually treated
using effective 4d supergravity. However, it is clearly more desirable to
derive the relevant scalar potential directly from a local 10d Lagrangian. Such
a local 10d description captures the interactions among the various localized
sources and the background fields which are smeared in the 4d Lagrangian. While
progress in this endeavour has recently been made, some form of non-locality
related to the 4-gaugino term has remained hidden in the available proposals.
We spell out the local counterterm removing the divergence that arises when
integrating out the 3-form flux and which, upon dimensional reduction, serves
to reproduce the relevant part of the 4d supergravity action. This is both a
step towards a more complete understanding of 10d type-IIB supergravity as well
as specifically towards better control of dS constructions in string theory
involving gaugino condensation.
