Thanks everybody for your help. The cluster administrators installed V8 on nodes, so rstan is now running again.