GCC 4.8.x fixup