virtualbox: Update to 4.2.18