Bump to version 0.9.25.2