fix GCC warnings