I don't think we care about anything else than GCC honestly.
In any case I don't feel strongly about this one, but I still think an include is cleaner...