Add the clang / jkim version of VirtualBox 4.3.8 again, since it seems to be the only
one which does *not* seg fault on 10.0 ;)