amd64/cu128: links for tck-number-checker