Fixing `awk: error while loading shared libraries: libreadline.so.7: cannot open shared object file: No such file or directory`