Trying a patch to gcc