But this can be worked around in a relatively not-so-terrible way:
• You build GCC proper, without libgcc
• Then you install some Mach headers without actually compiling anything
• Then you build MIG
• Now you can kinda compile the Hurd MIG defs, if you trick the build system into letting you build anything.