Bump 3.25.1 release