safexcel(4): Fix the INVARIANTS build after a last-second change.
Reported by: Jenkins MFC with: r363180