gawk.tcz mpfr.tcz .