jp6/cu126: links for lambdapi