Set version to 0.25.2