last x86_64-smp is more stable.