gawk: change to new library paths