not just Linux, bug GCC in general