Fix pragma so that it works in GCC 4.6