Updating VirtualBox images from 4.2.12 to 4.2.16