Another GCC fix