amd64/cu128: links for redis-record