One more GCC fix