Work around an apparent GCC bug