Yes, it's arbitrary and I believe Mathias indicated linux would always be 64 bit. We just map the download URL as necessary on our server anyway.