Fix building with gcc 4.6