Silence a dubious GCC warning about a set but unused global. Indeed, the
purpose of this global is to be set and not used. =]