Releasing version 2.5.0 (for real)