//etc/alternatives/awk.1.gz