Remove #pragma used to workaround PPC Linux GCC bug