amd64/cu128: links for ltl-graph-parser