Exposing Virtualbox headers