updated VirtualBox to 4.2.18