fix GCC 4.8