GCC 4.8.x fix up