Don't hardcode the architecture in the mirror URL (fixes #91)