Searching in gcc/stdbackport/gbits