michaelg/dev: links for cmdstan-ext