Fix build with VirtualBox-4.3.12