Awk: fetching seconds since the epoch with srand()