To avoid stale NFS hangs we use timeout command in combination with df - see issue #51