Bump version down to 5.1.24: we haven't made such a release yet