gawk: Remove unnecessary ‘gawk-<version>’ copy

This saves > 600 KiB.