/gnu/dist/config/