PHP: Avoid unintended duplicate rebuilds.