Could there be a difference in which
binary is available for the various platforms?
Yes. The binary sets are each updated independently. x86_64-linux was
updated last night, so not at the time you sent your first message, but
should be now. (Some of the more obscure platforms have not yet been
updated.) --best, karl.