Switch to saucy salamander (and try to force hvm)