Removing gawk and text2man