update versions so that nightly builds don't get mixed up with the real 0.25