need the virgo_exports.h header