Added mention for GCC bug