Searching in gcc/config/vxworks