Make stan-mode point to the correct repository.