fix typo in tcp_random18 ifdef