tools: fix bugs in NFS trace programs