updated to Stan 2.5.0