Release 1.2.5

This is a repackaging release.