Updating images for VirtualBox 4.2.18