switch to the stable models release