@Terminills: the nightly x86_64 is far more stable than the SMP one. I was able to install it in a vbox instance.