The SBo page for VirtualBox notes that it will not build on a stock x86_64 system. What is meant by 'stock?' What's required to build it on a host running -13.37/x86_64? Rich