Changed from trusty64 to trusty32 for VirtualBox on Windows 7