/gnu/dist/gcc4/config/