src/external/gpl2/gawk/dist