Global include for standard libraries in LibVirgo.h