The --with-distro options might come from bin/build-ooo in a "build"
style build, and in that case, the relevant configure options are
already on the command line, too.