Work around another bug in GCC 4.6