Oh, and this is actually just documentation, so I don't think the correct executable matters much.