/usr/lib64/gawk/time.so