fix another GCC bootstrap problem, which manifested as things