use stan hotfix/2.0.2 branch