Fix some GCC warnings