Links for dist-launch