Fix another gmt_unix_time case in server_random

It appears that my original pull request (#23) missed this one.