Work around a bogus gcc 4.2 warning.