Re: [aur-general] VirtualBox and 64bit guests