Tweak about for name change; #633
Bump version to 7.2.5
Bump version to 7.2.5-dev