Yes, and that’s fine: they can compile in their preferred format and if people want a different one, then the “package it yourself” argument makes sense.