- bumped up version number in configure.in from 4.0.24 -> 4.0.25 (ChangeSet 1.2073 was already tagged
  as 4.0.24)


configure.in:
  - bumped up version number from 4.0.24 -> 4.0.25