[Bug c++/80111] #include kills compiler

[graeme.winter at diamond dot ac.uk]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80111

--- Comment #2 from Graeme Winter <graeme.winter at diamond dot ac.uk> ---
Ah OK, thank you - I am using a GCC compiled by $SOMEONE_ELSE so this could
very well be the case...