It's only distributed for the host system, by default. If we extend it to also build it for these targets, then I'm perfectly fine with it.