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.