don't ignore virgo_exports.h