Compile fails on Docker cloud - and only on Docker cloud

We have this automatically in the next rstan.