fix GCC compilation