Tell people to use 0.94.12