> but every executable, by design, doesn't get to choose what to use for its loader.

Sure it does: it can load whatever it wants however it wants once main() gets to run.