Actually, my workaround does not work. I am getting the same segfaults with the 32bit virtual machine.
Actually, my workaround does not work. I am getting the same segfaults with the 32bit virtual machine.