fabian/prod: links for cmdstan-ext