> anything more to add.. i guess no :) forgot something. removing gawk will save tremendous 2.5 MB (according to du -h -d0 contrib/awk) of hdd space + size of gawk executable (which i cannot measure anymore..). ~ibotty