fetch x86_64, it's updated sooner than i386