Решение в
Как скомпилировать 32-битный двоичный файл на 64-битной машине Linux с помощью gcc/cmake
невозможно, потому что я использую стороннее программное обеспечение и другие вещи, которые уже используют переменную CFLAGS. И исправление их make файлов не допускается, - говорит мой босс.
Поэтому мне нужно найти другой способ его принудительного применения. Возможно, какая-то магия с символическими ссылками перенаправляет вызов gcc на 32-битную версию компилятора (надеясь, что цель по умолчанию не обнаружена динамически).