Fix build on GCC 4.7